Prolog for beginners